Section: New Results
Modular Systems for Classical and Intuitionistic Logic
Participants : Sonia Marin, Lutz Straßburger.
Last year we have shown deductive systems for all intuitionistic modal logics in the modal S5-cube using logical rules in nested sequents [75] . This year we managed to exhibit fully modular systems. That is to say that there is a bijective correspondence between the modal axioms and the inference rules in the deductive system. This is achieved by using a combination of structural and logical rules. This result has been presented at AiML 2014 [24] .